34.67/35.43	unsat
