21.14/22.87	unsat
