34.60/34.79	unsat
