34.48/37.28	unsat
