21.63/21.69	unsat
