22.36/24.81	unsat
