9.86/10.81	unsat
