14.37/18.55	unsat
