65.99/66.22	unsat
