6.27/6.98	unsat
