7.93/8.26	unsat
