13.66/18.25	unsat
