65.56/66.50	unsat
