9.38/12.32	unsat
