7.87/7.98	unsat
