18.24/19.05	unsat
