34.13/35.67	unsat
