31.23/37.41	unsat
