9.47/10.32	unsat
