34.03/37.20	unsat
