16.26/19.05	unsat
