69.63/69.88	unsat
