19.14/20.78	unsat
