60.95/66.22	unsat
