65.40/66.30	unsat
