34.24/37.97	unsat
