4.79/11.47	unsat
