21.46/22.82	unsat
