21.89/22.10	unsat
