21.46/22.46	unsat
