34.02/40.68	unsat
