19.39/21.29	unsat
