9.96/11.11	unsat
