10.58/12.25	unsat
