34.60/34.72	unsat
