10.67/12.17	unsat
