16.46/19.05	unsat
