22.44/25.04	unsat
