12.35/15.17	unsat
