7.08/10.26	unsat
