0.69/0.98	unsat
