9.96/11.43	unsat
