65.50/66.31	unsat
