34.79/37.50	unsat
