6.79/7.98	unsat
