8.42/10.26	unsat
