8.69/10.26	unsat
