10.07/10.32	unsat
