34.04/44.37	unsat
