21.89/22.02	unsat
