21.24/21.87	unsat
