65.18/66.52	unsat
