64.90/67.50	unsat
