19.07/20.05	unsat
