65.98/69.44	unsat
