20.71/21.69	unsat
