6.47/6.98	unsat
