19.28/21.78	unsat
