65.89/69.98	unsat
