9.86/10.43	unsat
