64.99/67.22	unsat
