21.47/22.02	unsat
