34.45/35.10	unsat
