21.46/22.91	unsat
