34.60/34.71	unsat
