14.27/18.25	unsat
