9.90/12.77	unsat
