21.66/22.35	unsat
