7.51/7.98	unsat
