18.74/20.05	unsat
