19.37/20.78	unsat
