19.39/21.65	unsat
