9.96/11.26	unsat
