9.02/10.32	unsat
