22.46/24.72	unsat
