14.37/17.05	unsat
