15.80/19.05	unsat
